<?php

class IntervencionPeer extends BaseIntervencionPeer
{
}
